The group $Poin(3,1)$ or $ISO(3,1)$ is the semidirect product of translations $\mathbb{R}^4$ with the Lorentz group $O(3,1)$:
$$ ISO(3,1)=\mathbb{R}^4 \rtimes O(3,1) $$Poincaré symmetry is the full symmetry of special relativity. It includes:
It substituted the Galilean group $Gal(3)$. See \section{Development of SR} at notasfisica.tex, and write it to obsidian.
________________________________________
________________________________________
________________________________________
Author of the notes: Antonio J. Pan-Collantes
INDEX: